Matching Logic Language Pack v0.1
  featuring the IMP, HIMP, and KernelC languages

This zip contains three example languages---IMP, HIMP, and KernelC---written using K-Maude.  This package also includes K-Maude.  K-Maude is an extension of Maude, which can be downloaded from http://maude.cs.uiuc.edu/.  Note: full-maude is necessary to run these examples.  full-maude can also be found at the above url.

All files can be found in their respective directories.  
:: See the *-programs.maude files for a listing of programs.
:: See the *-syntax.maude, *-configuration.maude, and *-semantics.maude files for the definitions themselves.


To run the examples for IMP, simply type 'maude IMP/imp-test'

To run the examples for HIMP, simply type 'maude HIMP/himp-test'

To run the examples for KernelC, simply type 'maude KernelC/kernelc-test'
